SUBDIRS=lesson_4

include ../../../../../include/kframework/ktest-group.mak
